First-order logic

Results: 1172



#Item
11arXiv:1402.2600v1 [math.LO] 11 FebScheme representation for first-order logic Spencer Breiner Carnegie Mellon University

arXiv:1402.2600v1 [math.LO] 11 FebScheme representation for first-order logic Spencer Breiner Carnegie Mellon University

Add to Reading List

Source URL: www.andrew.cmu.edu

- Date: 2018-02-12 22:13:01
    12Technical Report WVNovember 2005 On Structuring Proof Search for First Order Linear Logic

    Technical Report WVNovember 2005 On Structuring Proof Search for First Order Linear Logic

    Add to Reading List

    Source URL: www.ki.inf.tu-dresden.de

    - Date: 2006-03-26 15:53:31
      13Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o

      Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      - Date: 2013-05-22 10:58:51
        14Deductive Verification Mooly Sagiv Slides from Zvonimir Rakamaric First-Order Logic

        Deductive Verification Mooly Sagiv Slides from Zvonimir Rakamaric First-Order Logic

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2015-04-21 07:47:33
          15Downloaded from orbit.dtu.dk on: Dec 16, 2016 Formalization of the Resolution Calculus for First-Order Logic Schlichtkrull, Anders Published in:

          Downloaded from orbit.dtu.dk on: Dec 16, 2016 Formalization of the Resolution Calculus for First-Order Logic Schlichtkrull, Anders Published in:

          Add to Reading List

          Source URL: orbit.dtu.dk

          - Date: 2016-09-29 07:15:35
            16Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of

            Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of

            Add to Reading List

            Source URL: web.cecs.pdx.edu

            - Date: 2014-01-24 04:02:53
              17Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula

              Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula

              Add to Reading List

              Source URL: www.nuprl.org

              - Date: 2011-10-08 01:03:35
                18Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole

                Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                - Date: 2013-05-22 23:44:30
                  19CS Computer Science and Information Technology Section1: Engineering Mathematics Discrete Mathematics: Propositional and first order logic. Sets, relations, functions, partial

                  CS Computer Science and Information Technology Section1: Engineering Mathematics Discrete Mathematics: Propositional and first order logic. Sets, relations, functions, partial

                  Add to Reading List

                  Source URL: www.gate.iisc.ernet.in

                  - Date: 2015-09-02 10:23:17
                    20On Structuring Proof Search for First Order Linear Logic

                    On Structuring Proof Search for First Order Linear Logic

                    Add to Reading List

                    Source URL: www.ki.inf.tu-dresden.de

                    - Date: 2006-03-26 13:44:51